(0 13 3)(1 20 8)(2 18 16)(4 19 6)(5 10 7)(9 14 12)(11 17 15)
ALLOWS (11/8)-SEQUENCE
1: (0 13 17)
(0 15 11 17 3)(1 20 8)(2 18 16)(4 19 6)(5 10 7)(9 14 12)(13)
2: (3 11 17)
(0 15 11)(1 20 8)(2 18 16)(3)(4 19 6)(5 10 7)(9 14 12)(13)(17)
3: (9 14 12)
(0 15 11)(1 20 8)(2 18 16)(3)(4 19 6)(5 10 7)(9)(12)(13)(14)(17)
4: (1 20 8)
(0 15 11)(1)(2 18 16)(3)(4 19 6)(5 10 7)(8)(9)(12)(13)(14)(17)(20)